Background
book image

استفاده از Z توصیف، پالایش و اثبات

Jim Woodcock , Jim Davies , مرجان کائدی

5

ناشر: دانشگاه شهرکرد، انتشارات

سال انتشار: 1402

شابک: ‏‫‭978-600-7997-87-1 ‬‬

زبان: Persian | English

موضوع:

‏‫زد (زبان برنامه‌نویسی کامپیوتر)‏‬

بیشتر از این نویسنده(گان):

مدل‌سازی سیستم‌ها با استفاده از شبکه‌های پتری به انضمام مثال‌هایی از مدل‌سازی شبکه‌های کامپیوتری,شبیه‌سازی کامپیوتری به روش مونت کارلو